From 04ab001996b6c049ba87ede6e68e0f6f4e50f7fa Mon Sep 17 00:00:00 2001
From: robertl <robertl>
Date: Thu, 17 Jul 2003 17:34:18 +0000
Subject: [PATCH] Warn people to not edit generated files.

---
 mkstyle.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mkstyle.sh b/mkstyle.sh
index 2df86c82b..52c799a5c 100755
--- a/mkstyle.sh
+++ b/mkstyle.sh
@@ -1,4 +1,8 @@
 
+echo "/* This file is machine-generated from the contents of style/ */"
+echo "/* by mkstyle.sh.   Editing it by hand is an exeedingly bad idea. */"
+echo 
+
 for i in style/*.style
 do
 	A=`basename $i | sed "s/.style$//"`
-- 
2.30.2